/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package jps_s10996_s7175.envs;

import edu.pjwstk.jps.interpreter.envs.IENVSBinder;
import edu.pjwstk.jps.interpreter.envs.IENVSFrame;
import java.util.Collection;
import java.util.LinkedList;

/**
 *
 * @author Tomasz
 */
public class ENVSFrame implements IENVSFrame {
    
    private final LinkedList<IENVSBinder> frames;
    
    public ENVSFrame(){
        this.frames = new LinkedList<IENVSBinder>();
    }
    
    public ENVSFrame(LinkedList<IENVSBinder> frames) {
        this.frames = frames;
    }

    @Override
    public Collection<IENVSBinder> getElements() {
        return frames;
    }
    
    @Override
    public String toString(){
        return frames + "";
    }
}
